[next] [prev] [prev-tail] [tail] [up]

2.2.12 Integrals 1101 to 1200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

150 174 120 1272 0 512 0 271 200

N.S.

1 1.16 0.80 8.48 0.00 3.41 0.00 1.81 1.33

time (sec)

N/A 0.908 2.136 1.273 0.000 0.285 0.000 0.652 9.739

Problem 1102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

100 112 87 1229 0 397 0 223 90

N.S.

1 1.12 0.87 12.29 0.00 3.97 0.00 2.23 0.90

time (sec)

N/A 0.604 0.916 0.743 0.000 0.258 0.000 0.536 7.907

Problem 1103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 74 63 805 4432 306 0 181 854

N.S.

1 1.07 0.91 11.67 64.23 4.43 0.00 2.62 12.38

time (sec)

N/A 0.439 0.312 0.729 0.603 0.258 0.000 0.401 7.886

Problem 1104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

140 149 162 126 0 686 0 372 763

N.S.

1 1.06 1.16 0.90 0.00 4.90 0.00 2.66 5.45

time (sec)

N/A 0.766 0.796 1.780 0.000 0.277 0.000 0.451 8.048

Problem 1105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F(-2) B F B B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

211 0 201 269 0 1086 0 476 14675

N.S.

1 0.00 0.95 1.27 0.00 5.15 0.00 2.26 69.55

time (sec)

N/A 0.000 2.587 0.689 0.000 0.366 0.000 0.539 8.862

Problem 1106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F(-2) B F B B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

280 0 238 382 0 1448 0 625 35270

N.S.

1 0.00 0.85 1.36 0.00 5.17 0.00 2.23 125.96

time (sec)

N/A 0.000 6.392 0.733 0.000 0.554 0.000 0.712 10.713

Problem 1107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

181 192 159 908 0 786 0 329 309

N.S.

1 1.06 0.88 5.02 0.00 4.34 0.00 1.82 1.71

time (sec)

N/A 1.134 3.262 0.811 0.000 0.388 0.000 1.042 16.283

Problem 1108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

131 129 125 870 0 646 0 282 196

N.S.

1 0.98 0.95 6.64 0.00 4.93 0.00 2.15 1.50

time (sec)

N/A 0.807 1.539 0.693 0.000 0.303 0.000 0.863 11.765

Problem 1109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

98 89 86 852 0 504 0 229 2869

N.S.

1 0.91 0.88 8.69 0.00 5.14 0.00 2.34 29.28

time (sec)

N/A 0.705 0.645 0.656 0.000 0.260 0.000 0.512 17.912

Problem 1110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

153 133 135 140 0 780 0 411 847

N.S.

1 0.87 0.88 0.92 0.00 5.10 0.00 2.69 5.54

time (sec)

N/A 0.763 0.975 0.682 0.000 0.296 0.000 0.476 7.859

Problem 1111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

209 219 248 284 0 983 0 463 1580

N.S.

1 1.05 1.19 1.36 0.00 4.70 0.00 2.22 7.56

time (sec)

N/A 1.223 2.045 0.681 0.000 0.339 0.000 0.610 8.753

Problem 1112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

274 289 343 362 0 1238 0 616 16296

N.S.

1 1.05 1.25 1.32 0.00 4.52 0.00 2.25 59.47

time (sec)

N/A 1.680 4.301 0.706 0.000 0.507 0.000 0.800 10.250

Problem 1113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

216 245 266 1047 0 1087 0 412 400

N.S.

1 1.13 1.23 4.85 0.00 5.03 0.00 1.91 1.85

time (sec)

N/A 1.395 5.615 0.967 0.000 0.631 0.000 1.532 30.868

Problem 1114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

166 182 159 1007 0 917 0 365 257

N.S.

1 1.10 0.96 6.07 0.00 5.52 0.00 2.20 1.55

time (sec)

N/A 0.965 2.710 0.737 0.000 0.420 0.000 1.289 21.344

Problem 1115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

131 140 117 970 0 732 0 297 3899

N.S.

1 1.07 0.89 7.40 0.00 5.59 0.00 2.27 29.76

time (sec)

N/A 0.770 1.183 0.651 0.000 0.327 0.000 0.713 31.313

Problem 1116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

185 161 166 237 0 1025 0 467 4857

N.S.

1 0.87 0.90 1.28 0.00 5.54 0.00 2.52 26.25

time (sec)

N/A 0.911 1.259 0.570 0.000 0.401 0.000 0.596 10.466

Problem 1117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

217 205 234 302 0 1083 0 519 9787

N.S.

1 0.94 1.08 1.39 0.00 4.99 0.00 2.39 45.10

time (sec)

N/A 1.108 2.321 0.517 0.000 0.401 0.000 0.794 10.066

Problem 1118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

285 309 387 452 0 1252 0 591 9472

N.S.

1 1.08 1.36 1.59 0.00 4.39 0.00 2.07 33.24

time (sec)

N/A 1.621 4.446 0.590 0.000 0.531 0.000 0.969 10.408

Problem 1119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

126 133 92 800 0 427 0 238 119

N.S.

1 1.06 0.73 6.35 0.00 3.39 0.00 1.89 0.94

time (sec)

N/A 0.678 2.349 0.897 0.000 0.254 0.000 0.639 7.461

Problem 1120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

74 72 70 766 0 341 0 182 67

N.S.

1 0.97 0.95 10.35 0.00 4.61 0.00 2.46 0.91

time (sec)

N/A 0.436 1.456 0.714 0.000 0.245 0.000 0.553 6.153

Problem 1121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

46 37 46 730 6484 275 0 156 2947

N.S.

1 0.80 1.00 15.87 140.96 5.98 0.00 3.39 64.07

time (sec)

N/A 0.264 0.390 0.921 0.538 0.243 0.000 0.452 7.160

Problem 1122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

155 157 145 150 0 990 0 385 12379

N.S.

1 1.01 0.94 0.97 0.00 6.39 0.00 2.48 79.86

time (sec)

N/A 0.705 1.059 0.796 0.000 0.287 0.000 0.523 10.159

Problem 1123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

221 239 203 232 0 1400 0 497 32178

N.S.

1 1.08 0.92 1.05 0.00 6.33 0.00 2.25 145.60

time (sec)

N/A 1.087 1.755 0.710 0.000 0.387 0.000 0.708 10.187

Problem 1124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

298 338 266 357 0 1747 0 661 60949

N.S.

1 1.13 0.89 1.20 0.00 5.86 0.00 2.22 204.53

time (sec)

N/A 1.587 3.673 0.734 0.000 0.586 0.000 1.010 12.616

Problem 1125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

139 145 114 2594 0 604 0 243 182

N.S.

1 1.04 0.82 18.66 0.00 4.35 0.00 1.75 1.31

time (sec)

N/A 0.716 2.318 0.882 0.000 0.276 0.000 0.878 7.439

Problem 1126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 115 98 2534 0 584 0 206 142

N.S.

1 1.25 1.07 27.54 0.00 6.35 0.00 2.24 1.54

time (sec)

N/A 0.527 1.421 0.768 0.000 0.262 0.000 0.764 8.029

Problem 1127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 99 59 2446 0 534 0 189 4612

N.S.

1 1.30 0.78 32.18 0.00 7.03 0.00 2.49 60.68

time (sec)

N/A 0.476 0.462 0.684 0.000 0.254 0.000 0.639 16.269

Problem 1128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

205 214 143 257 0 1555 0 481 35674

N.S.

1 1.04 0.70 1.25 0.00 7.59 0.00 2.35 174.02

time (sec)

N/A 0.998 1.019 0.592 0.000 0.496 0.000 0.815 17.910

Problem 1129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

281 306 187 399 0 2263 0 588 66456

N.S.

1 1.09 0.67 1.42 0.00 8.05 0.00 2.09 236.50

time (sec)

N/A 1.422 1.329 0.547 0.000 1.040 0.000 1.431 16.256

Problem 1130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

368 415 294 596 0 2638 0 774 106340

N.S.

1 1.13 0.80 1.62 0.00 7.17 0.00 2.10 288.97

time (sec)

N/A 2.026 2.061 0.542 0.000 2.787 0.000 1.014 14.737

Problem 1131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

158 189 124 2772 0 963 0 308 255

N.S.

1 1.20 0.78 17.54 0.00 6.09 0.00 1.95 1.61

time (sec)

N/A 0.882 3.030 1.069 0.000 0.320 0.000 1.191 9.842

Problem 1132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

127 166 106 2699 0 909 0 246 221

N.S.

1 1.31 0.83 21.25 0.00 7.16 0.00 1.94 1.74

time (sec)

N/A 0.778 2.761 0.858 0.000 0.317 0.000 1.046 9.662

Problem 1133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

109 145 61 2597 0 823 0 224 7068

N.S.

1 1.33 0.56 23.83 0.00 7.55 0.00 2.06 64.84

time (sec)

N/A 0.656 0.560 0.678 0.000 0.330 0.000 0.909 26.520

Problem 1134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F C A F(-2) B F B B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

267 0 143 364 0 2659 0 545 69981

N.S.

1 0.00 0.54 1.36 0.00 9.96 0.00 2.04 262.10

time (sec)

N/A 0.000 1.209 0.557 0.000 1.745 0.000 1.320 100.536

Problem 1135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

351 380 188 518 0 3246 0 693 0

N.S.

1 1.08 0.54 1.48 0.00 9.25 0.00 1.97 0.00

time (sec)

N/A 1.873 1.400 0.526 0.000 5.313 0.000 1.116 0.000

Problem 1136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

446 497 243 743 0 3803 0 1042 0

N.S.

1 1.11 0.54 1.67 0.00 8.53 0.00 2.34 0.00

time (sec)

N/A 2.680 2.681 0.791 0.000 16.971 0.000 1.502 0.000

Problem 1137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 274 1363 1079 0 1039 0 0 0

N.S.

1 1.04 5.18 4.10 0.00 3.95 0.00 0.00 0.00

time (sec)

N/A 1.648 6.677 1.092 0.000 0.279 0.000 0.000 0.000

Problem 1138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 260 236 866 0 745 0 0 0

N.S.

1 1.04 0.94 3.46 0.00 2.98 0.00 0.00 0.00

time (sec)

N/A 1.525 4.834 0.903 0.000 0.266 0.000 0.000 0.000

Problem 1139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 194 866 0 485 0 0 2101

N.S.

1 1.00 1.28 5.74 0.00 3.21 0.00 0.00 13.91

time (sec)

N/A 0.741 0.780 1.395 0.000 0.250 0.000 0.000 22.289

Problem 1140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 121 877 0 352 0 0 1724

N.S.

1 1.00 1.00 7.25 0.00 2.91 0.00 0.00 14.25

time (sec)

N/A 0.468 1.148 3.483 0.000 0.263 0.000 0.000 21.836

Problem 1141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 178 175 1180 0 419 0 0 0

N.S.

1 1.01 0.99 6.67 0.00 2.37 0.00 0.00 0.00

time (sec)

N/A 0.649 1.772 1.109 0.000 0.269 0.000 0.000 0.000

Problem 1142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B F(-2) B F F(-2) F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

254 0 294 2226 0 502 0 0 0

N.S.

1 0.00 1.16 8.76 0.00 1.98 0.00 0.00 0.00

time (sec)

N/A 0.000 4.980 1.127 0.000 0.280 0.000 0.000 0.000

Problem 1143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

329 344 1526 1518 0 1472 0 0 0

N.S.

1 1.05 4.64 4.61 0.00 4.47 0.00 0.00 0.00

time (sec)

N/A 2.043 7.400 0.886 0.000 0.307 0.000 0.000 0.000

Problem 1144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

315 328 998 1234 0 1108 0 0 0

N.S.

1 1.04 3.17 3.92 0.00 3.52 0.00 0.00 0.00

time (sec)

N/A 1.982 6.807 0.868 0.000 0.294 0.000 0.000 0.000

Problem 1145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 202 265 1702 0 768 0 0 0

N.S.

1 1.03 1.35 8.68 0.00 3.92 0.00 0.00 0.00

time (sec)

N/A 1.160 4.955 0.932 0.000 0.262 0.000 0.000 0.000

Problem 1146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 203 276 1169 0 895 0 0 0

N.S.

1 1.04 1.42 5.99 0.00 4.59 0.00 0.00 0.00

time (sec)

N/A 1.187 5.702 0.850 0.000 0.318 0.000 0.000 0.000

Problem 1147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 176 235 1275 0 488 0 0 0

N.S.

1 1.02 1.36 7.37 0.00 2.82 0.00 0.00 0.00

time (sec)

N/A 0.658 3.652 1.139 0.000 0.263 0.000 0.000 0.000

Problem 1148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 233 282 1657 0 571 0 0 0

N.S.

1 1.04 1.25 7.36 0.00 2.54 0.00 0.00 0.00

time (sec)

N/A 0.901 5.308 1.201 0.000 0.285 0.000 0.000 0.000

Problem 1149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F(-1) F(-2) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

415 435 849 1851 0 1919 0 0 0

N.S.

1 1.05 2.05 4.46 0.00 4.62 0.00 0.00 0.00

time (sec)

N/A 2.665 15.658 0.921 0.000 0.342 0.000 0.000 0.000

Problem 1150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

378 404 1078 1503 0 1493 0 0 0

N.S.

1 1.07 2.85 3.98 0.00 3.95 0.00 0.00 0.00

time (sec)

N/A 2.590 7.186 0.856 0.000 0.299 0.000 0.000 0.000

Problem 1151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 271 326 2130 0 1117 0 0 0

N.S.

1 1.05 1.27 8.29 0.00 4.35 0.00 0.00 0.00

time (sec)

N/A 1.614 3.237 0.995 0.000 0.286 0.000 0.000 0.000

Problem 1152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 262 335 2647 0 1163 0 0 0

N.S.

1 1.05 1.34 10.59 0.00 4.65 0.00 0.00 0.00

time (sec)

N/A 1.647 5.828 0.931 0.000 0.353 0.000 0.000 0.000

Problem 1153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 266 400 3161 0 1071 0 0 0

N.S.

1 1.04 1.56 12.30 0.00 4.17 0.00 0.00 0.00

time (sec)

N/A 1.585 6.006 0.880 0.000 0.354 0.000 0.000 0.000

Problem 1154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 231 457 2559 0 655 0 0 0

N.S.

1 1.03 2.03 11.37 0.00 2.91 0.00 0.00 0.00

time (sec)

N/A 0.878 7.174 1.161 0.000 0.295 0.000 0.000 0.000

Problem 1155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 212 255 1295 0 781 0 0 0

N.S.

1 1.06 1.28 6.48 0.00 3.90 0.00 0.00 0.00

time (sec)

N/A 1.107 6.132 1.299 0.000 0.259 0.000 0.000 0.000

Problem 1156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 202 983 0 533 0 0 0

N.S.

1 1.00 1.34 6.51 0.00 3.53 0.00 0.00 0.00

time (sec)

N/A 0.745 1.866 1.390 0.000 0.249 0.000 0.000 0.000

Problem 1157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 84 212 3634 259 0 0 473

N.S.

1 1.00 1.02 2.59 44.32 3.16 0.00 0.00 5.77

time (sec)

N/A 0.284 0.414 1.707 0.524 0.243 0.000 0.000 11.296

Problem 1158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 178 129 1738 0 381 0 0 1508

N.S.

1 1.02 0.74 9.99 0.00 2.19 0.00 0.00 8.67

time (sec)

N/A 0.684 1.203 1.739 0.000 0.278 0.000 0.000 21.002

Problem 1159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 226 198 2946 0 488 0 0 0

N.S.

1 1.17 1.03 15.26 0.00 2.53 0.00 0.00 0.00

time (sec)

N/A 0.842 1.442 1.670 0.000 0.270 0.000 0.000 0.000

Problem 1160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 304 274 5218 0 571 0 0 0

N.S.

1 1.16 1.05 19.92 0.00 2.18 0.00 0.00 0.00

time (sec)

N/A 1.330 3.635 1.628 0.000 0.296 0.000 0.000 0.000

Problem 1161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 229 1510 1815 0 940 0 0 0

N.S.

1 1.10 7.22 8.68 0.00 4.50 0.00 0.00 0.00

time (sec)

N/A 1.211 7.220 1.346 0.000 0.263 0.000 0.000 0.000

Problem 1162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 981 2564 0 551 0 0 0

N.S.

1 1.00 7.60 19.88 0.00 4.27 0.00 0.00 0.00

time (sec)

N/A 0.483 6.689 1.390 0.000 0.251 0.000 0.000 0.000

Problem 1163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 131 1291 8488 599 0 0 0

N.S.

1 1.00 1.02 10.01 65.80 4.64 0.00 0.00 0.00

time (sec)

N/A 0.472 1.018 1.375 0.837 0.247 0.000 0.000 0.000

Problem 1164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 220 171 3196 0 673 0 0 0

N.S.

1 1.13 0.88 16.47 0.00 3.47 0.00 0.00 0.00

time (sec)

N/A 0.853 1.229 1.335 0.000 0.286 0.000 0.000 0.000

Problem 1165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 309 257 4835 0 982 0 0 0

N.S.

1 1.15 0.96 17.97 0.00 3.65 0.00 0.00 0.00

time (sec)

N/A 1.357 5.016 1.391 0.000 0.302 0.000 0.000 0.000

Problem 1166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

349 404 345 7870 0 1074 0 0 0

N.S.

1 1.16 0.99 22.55 0.00 3.08 0.00 0.00 0.00

time (sec)

N/A 1.955 6.480 1.449 0.000 0.314 0.000 0.000 0.000

Problem 1167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 190 283 2968 0 849 0 0 0

N.S.

1 1.05 1.56 16.40 0.00 4.69 0.00 0.00 0.00

time (sec)

N/A 0.743 9.474 1.468 0.000 0.245 0.000 0.000 0.000

Problem 1168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 188 1047 2907 0 1006 0 0 0

N.S.

1 1.05 5.85 16.24 0.00 5.62 0.00 0.00 0.00

time (sec)

N/A 0.702 7.024 1.406 0.000 0.261 0.000 0.000 0.000

Problem 1169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 222 186 2448 0 968 0 0 0

N.S.

1 1.18 0.99 13.02 0.00 5.15 0.00 0.00 0.00

time (sec)

N/A 0.829 2.350 1.562 0.000 0.257 0.000 0.000 0.000

Problem 1170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B F B F F(-2) F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

277 0 278 4889 0 1300 0 0 0

N.S.

1 0.00 1.00 17.65 0.00 4.69 0.00 0.00 0.00

time (sec)

N/A 0.000 3.504 1.405 0.000 0.306 0.000 0.000 0.000

Problem 1171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

354 402 480 7061 0 1546 0 0 0

N.S.

1 1.14 1.36 19.95 0.00 4.37 0.00 0.00 0.00

time (sec)

N/A 1.908 6.993 1.398 0.000 0.339 0.000 0.000 0.000

Problem 1172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

444 513 644 10145 0 1774 0 0 0

N.S.

1 1.16 1.45 22.85 0.00 4.00 0.00 0.00 0.00

time (sec)

N/A 2.626 7.442 1.445 0.000 0.391 0.000 0.000 0.000

Problem 1173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

114 128 0 0 0 0 0 0 0

N.S.

1 1.12 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.340 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

157 183 111 0 0 0 0 0 0

N.S.

1 1.17 0.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.737 1.761 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 112 78 0 0 0 0 0 0

N.S.

1 1.18 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.391 1.154 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 70 64 0 0 0 0 0 0

N.S.

1 1.15 1.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.259 0.329 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

193 222 158 0 0 0 0 0 0

N.S.

1 1.15 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.686 1.045 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

273 313 207 0 0 0 0 0 0

N.S.

1 1.15 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.120 2.246 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

381 444 294 0 0 0 0 0 0

N.S.

1 1.17 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.830 4.745 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

192 200 146 0 0 0 0 0 0

N.S.

1 1.04 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.958 2.273 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 123 94 0 0 0 0 0 0

N.S.

1 1.03 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.495 0.789 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

78 84 60 0 0 0 0 0 0

N.S.

1 1.08 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.315 0.288 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

122 141 108 0 0 0 0 0 0

N.S.

1 1.16 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.587 0.493 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

180 217 140 0 0 0 0 0 0

N.S.

1 1.21 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.960 1.124 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-1) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

264 321 215 0 0 0 0 0 0

N.S.

1 1.22 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.590 3.438 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F(-2) F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

123 137 0 0 0 0 0 0 0

N.S.

1 1.11 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.361 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F(-2) F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

116 130 0 0 0 0 0 0 0

N.S.

1 1.12 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.331 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F(-2) F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

116 130 0 0 0 0 0 0 0

N.S.

1 1.12 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.339 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F(-2) F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

125 139 0 0 0 0 0 0 0

N.S.

1 1.11 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.321 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F(-2) F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

125 139 0 0 0 0 0 0 0

N.S.

1 1.11 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.322 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 130 141 148 147 240 1751 141

N.S.

1 1.00 0.93 1.01 1.06 1.05 1.71 12.51 1.01

time (sec)

N/A 0.606 1.133 0.204 0.331 0.229 0.132 1.385 6.291

Problem 1192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 96 90 92 92 143 811 91

N.S.

1 1.00 1.10 1.03 1.06 1.06 1.64 9.32 1.05

time (sec)

N/A 0.400 0.480 0.187 0.349 0.252 0.113 0.690 6.221

Problem 1193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 59 47 50 50 73 289 55

N.S.

1 1.00 1.40 1.12 1.19 1.19 1.74 6.88 1.31

time (sec)

N/A 0.262 0.030 0.166 0.323 0.251 0.083 0.374 5.965

Problem 1194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 66 83 89 75 524 95 94

N.S.

1 1.00 1.14 1.43 1.53 1.29 9.03 1.64 1.62

time (sec)

N/A 0.339 0.131 0.233 0.429 0.260 0.460 0.340 8.049

Problem 1195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 122 190 141 180 225 2878 234 152

N.S.

1 1.10 1.71 1.27 1.62 2.03 25.93 2.11 1.37

time (sec)

N/A 0.540 2.415 0.260 0.430 0.245 0.844 0.418 6.798

Problem 1196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 197 243 206 333 501 0 413 279

N.S.

1 1.13 1.39 1.18 1.90 2.86 0.00 2.36 1.59

time (sec)

N/A 0.828 4.738 0.382 0.404 0.261 0.000 0.533 6.666

Problem 1197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 215 221 232 253 252 445 3977 259

N.S.

1 1.00 1.03 1.08 1.18 1.17 2.07 18.50 1.20

time (sec)

N/A 0.895 2.606 0.274 0.633 0.259 0.171 3.005 6.589

Problem 1198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 185 161 159 158 258 1955 230

N.S.

1 1.00 1.41 1.23 1.21 1.21 1.97 14.92 1.76

time (sec)

N/A 0.616 1.210 0.246 0.315 0.248 0.131 1.339 6.003

Problem 1199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 96 90 91 91 143 811 91

N.S.

1 1.00 1.08 1.01 1.02 1.02 1.61 9.11 1.02

time (sec)

N/A 0.412 0.490 0.152 0.315 0.249 0.106 0.664 6.305

Problem 1200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 93 108 117 123 129 1025 124 115

N.S.

1 0.90 1.05 1.14 1.19 1.25 9.95 1.20 1.12

time (sec)

N/A 0.501 0.173 0.287 0.300 0.268 0.593 0.434 6.142

[next] [prev] [prev-tail] [front] [up]